1. Automated verification of concurrent search structures

by Krishna, Siddharth | Patel, Nisarg | Shasha, Dennis | Wies, Thomas.

Publisher: San Rafael, California : Morgan & Claypool Publishers, 2021Availability: Items available for loan: [Call number: 005.741 KRI] (1).
2. Hands-on data structures and algorithms with Python : write complex and powerful using the latest features of Python 3.7

by Agarwal, Basant | Baka, Benjamin.

Edition: 2nd ed. Publisher: Birmingham : Packt Publishing, 2018Availability: No items available Checked out (1).

Powered by Koha